Strong Measure Zero Sets Without Cohen Reals
نویسندگان
چکیده
If ZFC is consistent, then each of the following are consistent with ZFC + 20 = א2: 1. X ⊆ IR is of strong measure zero iff |X| ≤ א1 + there is a generalized Sierpinski set. 2. The union of א1 many strong measure zero sets is a strong measure zero set + there is a strong measure zero set of size א2. 1 The authors thank the Israel Foundation for Basic Research, Israel Academy of Science. 2 Publication 438
منابع مشابه
On effectively closed sets of effective strong measure zero
The strong measure zero sets of reals have been widely studied in the context of set theory of the real line. The notion of strong measure zero is straightforwardly effectivized. A set of reals is said to be of effective strong measure zero if for any computable sequence {εn}n∈N of positive rationals, a sequence of intervals In of diameter εn covers the set. We observe that a set is of effectiv...
متن کاملProducts of Special Sets of Real Numbers
We develop a machinery which translates results on algebraic sums of sets of reals into the corresponding results on their cartesian product. Some consequences are: (1) The product of meager/null-additive sets in the Cantor space is meager/nulladditive, respectively. (2) The product of a meager/null-additive set and a strong measure zero/strongly meager set in the Cantor space has strong measur...
متن کاملFinite Powers of Strong Measure Zero Sets
In a previous paper – [17] – we characterized strong measure zero sets of reals in terms of a Ramseyan partition relation on certain subspaces of the Alexandroff duplicate of the unit interval. This framework gave only indirect access to the relevant sets of real numbers. We now work more directly with the sets in question, and since it costs little in additional technicalities, we consider the...
متن کاملProperty C ′ ′ , strong measure zero sets and subsets of the plane
Let X be a set of reals. We show that • X has property C′′ of Rothberger iff for all closed F ⊆ R×R with vertical sections Fx (x ∈ X) null, ⋃ x∈X Fx is null; • X has strong measure zero iff for all closed F ⊆ R×R with all vertical sections Fx (x ∈ R) null, x∈X Fx is null.
متن کاملThe γ-Borel conjecture
In this paper we prove that it is consistent that every γ-set is countable while not every strong measure zero set is countable. We also show that it is consistent that every strong γ-set is countable while not every γ-set is countable. On the other hand we show that every strong measure zero set is countable iff every set with the Rothberger property is countable. A set of realsX has strong me...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Log.
دوره 58 شماره
صفحات -
تاریخ انتشار 1993